Thực đơn
Lập trình khai báo Mẫu hình conLập trình khai báo là một thuật ngữ chung (umbrella term) bao gồm một số mẫu hình lập trình nổi tiếng hơn.
Lập trình ràng buộc mô tả mối quan hệ giữa các biến dưới dạng các ràng buộc để chỉ ra thuộc tính của giải pháp đích. The set of constraints is solved by giving a value to each variable so that the solution is consistent with the maximum number of constraints. Constraint programming often complements other paradigms: functional, logical, or even imperative programming.
Các ví dụ nổi tiếng về Ngôn ngữ miền chuyên biệt (domain-specific language, hay DSL) bao gồm yacc, QML, Make, Puppet, biểu thức chính quy, và một tập con của SQL (như câu lệnh truy vấn SELECT).
Ngôn ngữ lập trình logic như Prolog mô tả và truy vấn các quan hệ.
Thực đơn
Lập trình khai báo Mẫu hình conLiên quan
Tài liệu tham khảo
WikiPedia: Lập trình khai báo http://www.cse.unsw.edu.au/~pls/damp09/ http://catalogo.bne.es/uhtbin/authoritybrowse.cgi?... http://catalogue.bnf.fr/ark:/12148/cb123495726 http://data.bnf.fr/ark:/12148/cb123495726 http://id.loc.gov/authorities/subjects/sh93000071 http://d-nb.info/gnd/4293503-9 http://foldoc.org/declarative%20language http://www.cs.chalmers.se/~oloft/Papers/wm96/wm96.... http://www.csc.liv.ac.uk/~frans/OldLectures/2CS24/... https://existentialtype.wordpress.com/2013/07/18/w...